Use of Formal Modelling in the Design of Real-time Control Network Elements
نویسندگان
چکیده
The design of network elements for real-time control networks requires careful consideration of the fundamental timing requirements. The use of a timed automata approach for modelling and verifying the timing requirements promises to be beneficial. In this work a case study approach is shown where a model of the packet scheduler component for a network switch element is developed, based on a timed automata method. Using the Uppaal model checker certain properties are verified. The timed behaviour of the model can be assessed, based on real value clocks.
منابع مشابه
Layout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملA Robust Reliable Forward-reverse Supply Chain Network Design Model under Parameter and Disruption Uncertainties
Social responsibility is a key factor that could result in success and achieving great benefits for supply chains. Responsiveness and reliability are important social responsibility measures for consumers and all stakeholders that strategists and company managers should be concerned about them in long-term planning horizon. Although, presence of uncertainties as an intrinsic part of supply chai...
متن کاملMarkovian Delay Prediction-Based Control of Networked Systems
A new Markov-based method for real time prediction of network transmission time delays is introduced. The method considers a Multi-Layer Perceptron (MLP) neural model for the transmission network, where the number of neurons in the input layer is minimized so that the required calculations are reduced and the method can be implemented in the real-time. For this purpose, the Markov process order...
متن کاملModelling and Compensation of uncertain time-delays in networked control systems with plant uncertainty using an Improved RMPC Method
Control systems with digital communication between sensors, controllers and actuators are called as Networked Control Systems (NCSs). In general, NCSs encounter with some problems such as packet dropouts and network induced delays. When plant uncertainty is added to the aforementioned problems, the design of the robust controller that is able to guarantee the stability, becomes more complex. In...
متن کاملReal-Time Kinematic Network of Tehran, from Design to Application
Following the request of the Tehran municipality and in order to provide the spatial information required in their various projects, a real-time kinematic network has been designed for Tehran. Based on the existing measures such as the dilution of precision at the network point positions, two different designs have been proposed. A minimum number of six GNSS stations are used in both of the pro...
متن کامل